Law of assumption